Словарь по логике - модель

а) в самом широком смысле любой мысленный или знаковый образ моделируемого объекта (оригинала). К их числу относятся гносеологические образы (воспроизведение, отображение исследуемого объекта или системы объектов в виде научных описаний, теорий, формул, систем упражнений и т. п.), схемы, чертежи, графики, планы, карты и т. д.; б) специально создаваемый или специально подбираемый объект, воспроизводящий характеристики изучаемого объекта. Большую роль в современной науке играют т.наз. знаковые М., позволяющие в виде формул, уравнений, графиков и т. п. отображать существенные отношения между изучаемыми предметами, явлениями, различные процессы. Пример знаковой М. дифференциальное уравнение в математике, описывающее (моделирующее) протекание во времени к.-л. физического процесса. Знаковые М. широко используются в информатике при создании соответствующих программ для ЭВМ; к их числу принадлежат М., воспроизводящие решение сложных задач, специфических для деятельности человеческого мозга и имеющих творческий характер (М., относимые в информатике к искусственному интеллекту). Между М. и изучаемым объектом (оригиналом), который может представлять собой весьма сложную систему, должно существовать сходство в каких-то физических характеристиках, или в структуре, или в функциях (см.: Моделирование).

В математической логике под М. понимается интерпретация к.-л. логико-математических предложений и их систем. В разрабатываемой в математической логике теории М. под М. понимается произвольное множество элементов с определенными на нем функциями и предикатами (см.: Семантика логическая). Понятие М. является одним из центральных и сложных понятий теории познания, поскольку оно опирается на понятие отражения, истины, сходства, различия, правдоподобия и т. п.; роль его в методологии науки огромна.